例文
- Miroslav Ba 醟 and Petr H醞ek proved in 2008 that the statement " every Asplund space of density character ? 1 has a renorming with the Mazur intersection property " is independent of ZFC . The result is shown using Martin's maximum axiom, while Mar Jim閚ez and Jos?Pedro Moreno ( 1997 ) had presented a counterexample assuming CH.